例句與造句

1. Because evaluation of expressions may happen arbitrarily far into a computation, languages using call by need generally only support computational effects ( such as monads or uniqueness types.
2. The Clean programming language makes use of uniqueness types ( a variant of linear types ) to help support concurrency, input / output, and in-place update of arrays.
3. Linear types, based on the theory of linear logic, and closely related to uniqueness types, are types assigned to values having the property that they have one and only one reference to them at all times.
4. It's difficult to find uniqueness type in a sentence. 用uniqueness type造句挺難的